Workshop on Methods, Models and Tools for Fault Tolerance

نویسندگان

  • Alexei Iliasov
  • Victor Khomenko
  • Maciej Koutny
  • Apostolos Niaouris
  • Alexander Romanovsky
  • Linas Laibinis
  • Elena Troubitsyna
  • Sari Leppanen
  • Qaisar A. Malik
  • Johan Lilius
چکیده

Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the specification of fault-tolerance in agent interactions for the agents to be able to continue to function independently. Patterns are presented for the specification in Event-B of fault tolerance in multi-agent interactions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reliability and Performance Evaluation of Fault-aware Routing Methods for Network-on-Chip Architectures (RESEARCH NOTE)

Nowadays, faults and failures are increasing especially in complex systems such as Network-on-Chip (NoC) based Systems-on-a-Chip due to the increasing susceptibility and decreasing feature sizes. On the other hand, fault-tolerant routing algorithms have an evident effect on tolerating permanent faults and improving the reliability of a Network-on-Chip based system. This paper presents reliabili...

متن کامل

HeteroPar'2010: Eighth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms

Networks of computers are now the most common and available parallel architecture. Unlike dedicated parallel computer systems, networks are inherently heterogeneous. They consist of diverse computers of different performance interconnected via heterogeneous network equipment providing communication links with different latencies and bandwidths. Traditional parallel algorithms and tools are aime...

متن کامل

Methods, Models and Tools for Fault Tolerance

Interestingly, methods models and tools for fault tolerance that you really wait for now is coming. It's significant to wait for the representative and beneficial books to read. Every book that is provided in better way and utterance will be expected by many peoples. Even you are a good reader or not, feeling to read this book will always appear when you find it. But, when you feel hard to find...

متن کامل

Self-Stabilization Workshop

The DSN Workshop on Self-Stabilization’s programme includes fifteen research presentations. The main areas in the programme are network protocols, sensor networks, distributed algorithms, methods for analysis of self-stabilization, distributed system fault tolerance, and techniques used in the construction of systems that self-

متن کامل

An approach to fault detection and correction in design of systems using of Turbo ‎codes‎

We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007